Service basic.equivalence

Description
Tests whether two terms are semantically equivalent.

Input

• Exercise
• Context
• Context

Output

• Bool